701. Logics of specification languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008


702. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L63


703. MATLAB Recipes
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;

704. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
Author: A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
Classification :
QA
76
.
7
.
A285
2005


705. Machine Learning Using R
Author: / by Karthik Ramasubramanian, Abhishek Singh
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer science,Computer programming,Programming languages (Electronic computers),Database management
Classification :
QA
75
.
5
.
R3
2017


706. Machine oriented higher level languages
Author: / edited by W. L. van der Poel and L. A. Maarssen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
QA
76
.
I18
1973


707. Machine oriented higher level languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers) -- Congresses
Classification :
76
.
I8

708. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
Author: IFIP Working Conference on Machine Oriented Higher Level Languages, 3791, Trondheim
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Congresses
Classification :
QA
76
.
I18
1973


709. Machines, languages, and complexity
Author: / 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses
Classification :
QA
76
.
5
.
I5773
1988


710. Machines, languages, and complexity
Author: International Meeting of Young Computer Scientists, )5th, 8891, Smolenice, Czechoslovakia(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computers-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computational complexity-- Congresses
Classification :
QA
76
.
5
.
I5773
1988


711. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
Author: Selected contributions, J. Dassow, J. Kelemen, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
381


712. Manipulation languages, Piss, 1966. Symbol manipulation languages and techniques. Proceedings of the IFIP Working conference on Symbol Manipulation Languages
Author: / edited by Daniel G. Bobrow
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Programming languages (Electronic computers) - Congresses
Classification :
001
.
6424
I11s
1966


713. Maple user manual.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)
Classification :
QA76
.
95
.
M362
2005


714. Mastering Julia :
Author: Malcolm Sherrington
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Numerical analysis-- Data processing,Programming languages (Electronic computers)
Classification :
QA76
.
7


715. Mastering Rust :
Author: Vesa Kaihlavirta.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Programming languages (Electronic computers),Application software-- Development.,Computer programming.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- General.,COMPUTERS-- Programming-- Object Oriented.,Programming languages (Electronic computers)
Classification :
QA76
.
7


716. Mastering computer programming
Author: Gosling, Peter Edward
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers)
Classification :
005
G676m


717. Mastering computer programming
Author: Gosling, Peter Edward
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers)
Classification :
005
G676m


718. Mastering computer programming
Author: Gosling, Peter Edward
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming languages (Electronic computers)
Classification :
005
G676m


719. Mastering regular expressions /
Author: Jeffrey E.F. Friedl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Programming languages (Electronic computers),Text processing (Computer science),Langages de programmation.,Technologie de l'information.,Traitement de texte.,Electronic data processing.,Java (programmeertaal),PERL.,Programming languages (Electronic computers),String matching.,Text processing (Computer science)
Classification :
QA76
.
9
.
T48
F75
2002


720. Masterminds of programming
Author:
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Design
Classification :
QA
,
76
.
7
,.
M37
,
2009

